package org.act.BPEL2Automata.automata.module;

/**
 * 
 * DualState object is designed for
 * closure operation.It extends <b>State</b> object,and
 * add two references to <b>State</b> that stand for components consists
 * of 2-tuples.
 * 
 * @author baoxiwu<bb@feijiao.info>,ACT,Beihang University
 * @version 0.9.0
 * @since 2010-04-04
 * 
 */
public class DualState extends State{
	private State StateX = null;
	private State StateY = null;
	
	
	public DualState(){
	//empty	
	}
	
	public DualState(State stateX,State stateY){
		this.StateX = stateX;
		this.StateY = stateY;
	}
	
	
	//setter and getter methods.
	public void setState(State stateX,State stateY){
		this.StateX = stateX;
		this.StateY = stateY;
	}
	
	public State getStateX(){
		return this.StateX;
	}
	
	public State getStateY(){
		return this.StateY;
	}
}
